#include <stdio.h>
#include <unistd.h>
#include <sys/syscall.h> 

int main (void)
{
	int ret = 0;
	ret  = syscall (441, 10, 20, 3000);
	printf ("ret = %d\n", ret);
	return 0;
}

